Knihy od autora Kim G. Larsen

Zobrazeno 1 – 9 z 9 výsledků

1. 

   Automata, Languages and Programming

   Kim G. Larsen, Sven Skyum, Glynn Winskel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3289 Kč

   Koupit
2. 

   Quantitative Model-Based Analysis of Real-Time Embedded Systems

   Kim G. Larsen, Jan Tretmans, Brian Nielsen | Springer Netherlands, 2015

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Pevná

   4723 Kč

   Koupit
3. 

   Computer Aided Verification

   Kim G. Larsen, Arne Skou | Springer, Berlin, 1992

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1665 Kč

   Koupit
4. 

   Formal Modeling and Analysis of Timed Systems

   Kim G. Larsen, Peter Niebert | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1665 Kč

   Koupit
5. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Kim G. Larsen, Oleg Sokolsky, Ji Wang | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1665 Kč

   Koupit
6. 

   Models, Mindsets, Meta: The What, the How, and the Why Not?

   Susanne Graf, Kim G. Larsen, Tiziana Margaria | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1665 Kč

   Koupit
7. 

   CONCUR 2001 - Concurrency Theory

   Kim G. Larsen, Mogens Nielsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1665 Kč

   Koupit
8. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen | Springer, Berlin, 1995

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1665 Kč

   Koupit
9. 

   Computer Aided Verification

   Ed Brinksma, Kim G. Larsen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele - Odesíláme za 14-18 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3289 Kč

   Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více